Mobile Reactive Programming in ULM
نویسنده
چکیده
We present the embedding of ULM [7] in Scheme and an implementation of a compiler and virtual machine for it. ULM is a core programming model that allows multi-threaded and distributed programming via strong mobility with a deterministic semantics. We present the multi-threading and distributed primitives of ULM step by step using examples. The introduction of mobility in a Scheme language raises questions about the semantics of variables with respect to migration. We expose the problems and offer two solutions alongside ULM’s network references. We also present our implementation of the compiler, virtual machine and the concurrent threading library written in Scheme.
منابع مشابه
ULM (*) A Core Programming Model for Global Computing
We propose a programming model to address the unreliable character of accessing resources in a global computing context, focusing on giving a precise semantics for a small, yet expressive core language. To design the language, we use ideas and programming constructs from the synchronous programming style, that allow us to deal with the suspensive character of some operations, and to program rea...
متن کاملMulti-agent Control Approach for Autonomous Mobile Manipulators: Simulation Results on RobuTER/ULM
This article presents a multi-agent approach for controlling autonomous mobile manipulators. The proposed approach assigns a hybrid agent (Mobile base agent) for the control of the mobile base, a reactive agent (Joint agent) to each degree-of-freedom (dof) of the manipulator, and a Supervisory agent to assure coordination and to synchronize the work of the whole agents of the system. The initia...
متن کاملULM: A Core Programming Model for Global Computing: (Extended Abstract)
We propose a programming model to address the unreliable character of accessing resources in a global computing context, focusing on giving a precise semantics for a small, yet expressive core language. To design the language, we use ideas and programming constructs from the synchronous programming style, that allow us to deal with the suspensive character of some operations, and to program rea...
متن کاملDysfunctional MnSOD leads to redox dysregulation and activation of prosurvival AKT signaling in uterine leiomyomas
AKT signaling promotes cell growth and survival and is often dysregulated via multiple mechanisms in different types of cancer, including uterine leiomyomas (ULMs). ULMs are highly prevalent fibrotic tumors that arise from the smooth muscular layer of the uterus, the myometrium (MM). ULMs pose a major public health issue because they can cause severe morbidity and poor pregnancy outcomes. We i...
متن کاملNew Legionella Control Options by UV and Violet LEDs for Hospitals and Care Facilities
Legionella infections caused by contaminated water are a widespread problem worldwide. Discharge lamps like mercury vapor lamps are widely known for the disinfection properties of their radiation, but they suffer technical disadvantages, like high voltages and toxic content, and are, therefore, not suitable for some infection control applications. New high-intensity ultraviolet (UV) an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004